Covering All the Bases: Type-Based Verification of Test Input Generators
نویسندگان
چکیده
Test input generators are an important part of property-based testing (PBT) frameworks. Because PBT is intended to test deep semantic and structural properties a program, the outputs produced by these can be complex data structures, constrained satisfy developer believes most relevant function interest. An feature expected that they capable producing all acceptable elements function’s type generator-provided constraints. However, it not readily apparent how we might validate whether particular generator’s output satisfies this coverage requirement. Typically, developers must rely on manual inspection post-mortem analysis runs determine if generator providing sufficient coverage; approaches error-prone difficult scale as become more complex. To address concern, present new refinement type-based verification procedure for validating provided generators, based novel interpretation types embeds “ -style” underapproximate reasoning principles fundamental system. The associated with expressions now capture set values guaranteed expression, rather than typical formulation uses represent expression may produce. Beyond formalizing notion in context rich core language higher-order procedures inductive datatypes, also detailed evaluation study justify utility our ideas.
منابع مشابه
Covering all the bases in academic medicine.
S1 Like all of my predecessors, I have spent a substantial amount of time during my year as President reviewing the addresses delivered by my extraordinarily distinguished predecessors and wondering how I could possibly say anything new, different, or in any way memorable. Like my more recent predecessors, my concerns about the quality of my Presidential Address were either compounded by, or pe...
متن کاملthe investigation of the relationship between type a and type b personalities and quality of translation
چکیده ندارد.
Bases via Minimal Generators
The concept lattice corresponding to a context may be alternatively specified by means of attribute implications. One outstanding problem in formal concept analysis and other areas is the study of the equivalences between a given set of implications and its corresponding basis (notice that there exists a wide range of approaches to basis in the literature). In this work we introduce a method to...
متن کاملCovering all the Bases: Preclinical Development of an Effective Staphylococcus aureus Vaccine
A key aspect of the pathogenesis of the Gram positive bacterium Staphylococcus aureus is its ability to rapidly adapt to the host environment during the course of an infection. To successfully establish infection, the organism deploys a variety of survival and immune evasion strategies, ranging from the acquisition of essential nutrients and expression of adhesins, which promote colonization an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the ACM on programming languages
سال: 2023
ISSN: ['2475-1421']
DOI: https://doi.org/10.1145/3591271